Databases and Temporal Constraints :

We continue the development of a theory of constraint databases with indeenite information which we originated in our previous research. Initially we review the schemes of L-constraint databases and indeenite L-constraint databases where L, the parameter, is a rst-order constraint language. Then we consider several instances of these schemes where L is a language for expressing information about atomic data values and time. We collectively refer to these models as temporal constraint databases and indeenite temporal constraint databases. We give a detailed characterization of the computational complexity of query answering for various classes of temporal constraint databases and queries. Our results results are theoretical but can be summarized as follows for a wider database audience: The worst-case complexity of query evaluation does not change when we move from queries in relational calculus over relational databases, to queries in relational calculus with temporal constraints over temporal constraint databases. This fact remains true even if we consider indeenite relational databases vs. indeenite temporal constraint databases.